The book focuses on algorithmic principles rather than language syntax with an emphasis on the use of the Spin model checker for modeling concurrent systems and verifying program correctness and includes and explains the implementation of concurrency in the Java and Ada languages. It also helps to facilitate lab work with software tools for learning concurrent and distributed p...(展开全部)

The advent of new architectures and computing platforms mean that synchronization and concurrent computing are among the most important topics in computing science. Concurrent programs are made up of cooperating entities -- processors, processes, agents, peers, sensors -- and synchronization is the set of concepts, rules and mechanisms that allow them to coordinate their local ...(展开全部)

My aim with this book is to write the book people will buy to understand how to write concurrent programs on the Windows and .NET platforms. This is clearly of increasing importance due to multi-core. This includes a tutorial of the entire set of Windows and .NET APIs required to write concurrent programs. Interspersed among the tutorial are many difficult-to-discover internal ...(展开全部)

My aim with this book is to write the book people will buy to understand how to write concurrent programs on the Windows and .NET platforms. This is clearly of increasing importance due to multi-core. This includes a tutorial of the entire set of Windows and .NET APIs required to write concurrent programs. Interspersed among the tutorial are many difficult-to-discover internal ...(展开全部)

http://www.faculty.idc.ac.il/gadi/book.htm Table of Contents Preface Key Features 1. Introduction 2. Mutual exclusion using atomic registers: basic topics 3. Mutual exclusion using atomic registers: advanced topics 4. Blocking and non-blocking synchronization 5. Barrier synchronization 6. The l-exclusion problem 7. Multiple resources 8. Classical synchronization problems 9. Con...(展开全部)

http://www.faculty.idc.ac.il/gadi/book.htm Table of Contents Preface Key Features 1. Introduction 2. Mutual exclusion using atomic registers: basic topics 3. Mutual exclusion using atomic registers: advanced topics 4. Blocking and non-blocking synchronization 5. Barrier synchronization 6. The l-exclusion problem 7. Multiple resources 8. Classical synchronization problems 9. Con...(展开全部)

Editorial Reviews Product Description Foundations of Multithreaded, Parallel, and Distributed Programming covers-and then applies-the core concepts and techniques needed for an introductory course in this topic. The book emphasizes the practice and application of parallel systems, using real-world examples throughout. Greg Andrews teaches the fundamental concepts of multithread...(展开全部)

In the Second Edition of this best-selling distributed database systems text, the authors address new and emerging issues in the field while maintaining the key features and characteristics of the First Edition. The text has been revised and updated to reflect changes in the field. This comprehensive text focuses on concepts and technical issues while exploring the development ...(展开全部)

65970-6 In the Second Edition of this best-selling distributed database systems text, the authors address new and emerging issues in the field while maintaining the key features and characteristics of the First Edition. The text has been revised and updated to reflect changes in the field. This comprehensive text focuses on concepts and technical issues while exploring the deve...(展开全部)

This third edition of a classic textbook can be used to teach at the senior undergraduate and graduate levels. The material concentrates on fundamental theories as well as techniques and algorithms. The advent of the Internet and the World Wide Web, and, more recently, the emergence of cloud computing and streaming data applications, has forced a renewal of interest in distribu...(展开全部)